141. Computability, complexity, and languages : fundamentals of theoretical computer science

المؤلف:

المکتبة: (طهران)

موضوع: ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6
1994

142. Computational artifacts :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76
.
167

143. Computational linguistics and intelligent text processing

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses

رده :
QA76
.
9
.
T48C49
2010

144. Computer Mathematics

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

145. Computer Speech

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Acoustics.,Computer science.,Physics.,Telecommunication.,Translators (Computer programs).

146. Computer science logic :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.

رده :
QA75
.
5
H367
1996

147. Computer science -- theory and applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.

رده :
QA75
.
5

148. Conceptual modeling :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.

رده :
QA76
.
9
.
D26

149. Current trends in theoretical computer science: essays and tutorials

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Machine theory,، formal languages

رده :
QA
267
.
C87

150. Definition of programming languages by interpreting automata

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

151. Descriptional complexity of formal systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.

152. Descriptional complexity of formal systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses

رده :
QA267
.
3
.
D34
2011

153. Developing online language teaching

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: Language and languages^aStudy and teaching--Technological innovations,Language and languages^aStudy and teaching--Data processing,Web-based instruction,Curriculum planning^aTechnological innovations,EDUCATION / Teaching Methods & Materials / General.^abisacsh,LANGUAGE ARTS & DISCIPLINES / Study & Teaching.^abisacsh

رده :
P
.
D48
53
.
855
2015

154. Digital libraries for open knowledge :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Digital libraries, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Digital libraries.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.

رده :
ZA4080

155. Discrete mathematics: applied algebra for computer and information science

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Machine theory,Formal languages,Algebra, abstract

رده :
512
.
02
B663d

156. Elements of the theory of computation

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical

رده :
QA267
.
L49
1998

157. Elements of the theory of computation

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical

رده :
QA
267
.
L49

158. Elements of the theory of computation

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical

رده :
‭
QA267
‬ ‭.
L49
1998
‬

159. Elements of the theory of computation

المؤلف:

المکتبة: (طهران)

موضوع: Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical

رده :
QA
267
.
L49
1998

160. Elements of the theory of computation

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical

رده :
QA
267
.
L49